Well-behaved Translations between Structural Operational Semantics

نویسنده

Hiroshi Watanabe

چکیده

We examine two versions of maps between distributive laws as candidates for wellbehaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of wellbehaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin’s categorical models of GSOS. These maps between distributive laws come from the previous work on 2categories of distributive laws.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Presenting Morphisms of Distributive Laws

A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages – Operational semantics

متن کامل

Modular Bialgebraic Semantics and Algebraic Laws

The ability to independently describe operational rules is indispensable for a modular description of programming languages. This paper introduces a format for open-ended rules and proves that conservatively adding new rules results in well-behaved translations between the models of the operational semantics. Silent transitions in our operational model are truly unobservable, which enables one ...

متن کامل

Towards a Mathematical Operational Semantics

We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one get...

متن کامل

Structural congruence for bialgebraic semantics

It was observed by Turi and Plotkin that structural operational semantics can be studied at the level of universal coalgebra, providing specification formats for well-behaved operations on many different types of systems. We extend this framework with non-structural assignment rules which can express, for example, the syntactic format for structural congruences proposed by Mousavi and Reniers. ...

متن کامل